advances in theory of lattice boltzmann method and its appliction 方法理论和应用的新进展
the lattice implication algebra is a theoretical basis for the theory of lattice valued logic and approximate reasoning . in 1987, alavi and others conjectured that every graph with positive size has an ascending subgraph decomposition . this conjecture is an unsolved problem in graph theory 与图论中的其它问题一样,对图的升分解问题的构造式证明本质上是寻找一种解决可以抽象为图的升分解问题的一类实际应用问题的算法,因此,关于图的升分解问题的研究工作对利用计算机解决这类实际问题具有现实意义。